\begin{tabbing}
$\forall$$x$:($\mathbb{N}\rightarrow\mathbb{Q}$), $r$:$\mathbb{Z}$, $k$:$\mathbb{N}^{+}$, $y$:($\mathbb{Q}$ List).
\\[0ex]($k$ $\leq$ $\parallel$$y$$\parallel$)
\\[0ex]$\Rightarrow$ $x$($k$) $<$ 0
\\[0ex]$\Rightarrow$ \=(q{-}rel($r$;q{-}linear($k$;$j$.$x$($j$);$y$))\+
\\[0ex]$\Leftarrow\!\Rightarrow$ q{-}rel($r$;{-}($y$[($k$ {-} 1)]) + (({-}1/$x$($k$)) $\ast$ q{-}linear($k$ {-} 1;$j$.$x$($j$);$y$))))
\-
\end{tabbing}